On Introducing Higher Order Functions in ABEL
نویسندگان
چکیده
We discuss how the 1'st order speci cation and programming language ABEL could be extended with higher order functions. Several issues arise, related to subtyping, parameterization, strictness of generators and de ned functions, and to the choice between lambda expressions and currying. The paper can be regarded as an exercise in language design: how to introduce higher order functions under the restrictions enforced by (1'st order) ABEL. A technical result is a soundness proof for covariant subtype replacement, useful when implementing data types under volume constraints imposed by computer hardware.
منابع مشابه
Some new families of definite polynomials and the composition conjectures
The planar polynomial vector fields with a center at the origin can be written as an scalar differential equation, for example Abel equation. If the coefficients of an Abel equation satisfy the composition condition, then the Abel equation has a center at the origin. Also the composition condition is sufficient for vanishing the first order moments of the coefficients. The composition conjectur...
متن کاملThe Use of Fuzzy Variational Iteration Method For Solving Second-Order Fuzzy Abel-Volterra Integro-Differential Equations
In this paper, fuzzy variational iteration method (FVIM) is proposed to solve the second- order fuzzy Abel-Volterra integro-differential equations. The existence and uniqueness of the solution and convergence of the proposed method are proved in details. is investigated to verify convergence results and to illustrate the efficiently of the method.
متن کاملFuzzy collocation methods for second- order fuzzy Abel-Volterra integro-differential equations
In this paper we intend to offer new numerical methods to solve the second-order fuzzy Abel-Volterraintegro-differential equations under the generalized $H$-differentiability. The existence and uniqueness of thesolution and convergence of the proposed methods are proved in details and the efficiency of the methods is illustrated through a numerical example.
متن کاملRelationship Between Laterality and Handedness With the Higher Order Sensory Functions and Manual Dexterity of the Elderly
Objectives: The present study aimed to investigate the possible effects of laterality and handedness on higher-order sensory functions and manual dexterity of the elderly. Methods: In this non-experimental cross-sectional study, 58 elderly people aged 60-75 years (35 right-handed) were recruited through a convenience sampling method. Laterality of the selected subjects was examined using the E...
متن کاملA Chebyshev functions method for solving linear and nonlinear fractional differential equations based on Hilfer fractional derivative
The theory of derivatives and integrals of fractional in fractional calculus have found enormousapplications in mathematics, physics and engineering so for that reason we need an efficient and accurate computational method for the solution of fractional differential equations. This paper presents a numerical method for solving a class of linear and nonlinear multi-order fractional differential ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Nord. J. Comput.
دوره 5 شماره
صفحات -
تاریخ انتشار 1998